Binding-time Analysis for Mercury
نویسندگان
چکیده
In this work, we develop a binding-time analysis for the logic programming language Mercury. We introduce a precise domain of binding-times, based on the type information available in Mercury programs, that allows the analyser to reason with partially static data structures. The analysis is polyvariant, and deals with the module structure and higher-order capabilities of Mercury programs.
منابع مشابه
Synthesis of graphene oxide-Melamine – TioOxalic acid nanocomposite and its application in the elimination of Mercury (II) ions
In this study a new method by Application of graphene oxide Nano sheets– Melamine –TioOxalic acid composite was exhibited as adsorbent for the elimination of toxic mercury (II) ions from aqueous solutions. The combine has the authority to adsorb the organic and inorganic combines. Through the immobilization of Melamine-TioOxalic acid (MTO) onto graphene oxide nanosheets, the desired composite w...
متن کاملDetermination of mercury (II) by spectrophotometric method based on self assembly of gold nanoparticles
Due to the binding of the –COO- group with the mercury (II), gold nanoparticlesfunctionalized with glutathione can self-assemble to form a supermolecular network in the HAc-NaAc buffer solution. The aggregation of functionalized gold nanoparticles and mercury (II)caused the shift of maximum absorption peak of the UV-Vis spectrum from 520 nm to 609 nm.Based on this principle, a simple spectropho...
متن کاملApplication of FFT Cyclic Voltammetry for Monitoring Removal of Mercury Ions from Aqueous Environment using New Adsorbent based Modified Mesoporous Silica (SBA–15)
As the electrochemical method, the Fast Fourier Transform (FFT) Stripping Cyclic Voltammetry detection method was designed for measurement and monitoring of adsorbed mercury ions by new modified adsorbent based on mesoporous silica as a new adsorbent. In this respect, SBA-15 as mesoporous silica and 1, 3, 5 Trithiane as effective modifier ligand were chosen, and the modification process was car...
متن کاملA modified method for the determination of organic mercury in biota [great cormorants (phalacrocorax carbo)] by advanced mercury analyzer
Background: Contagion of aquatic ecosystems to heavy metals especially mercury (Hg) has risen concerns about healthiness of marine organisms. Organic mercury compounds are highly toxic for animals, and its detection in various samples is frequently needed. In present study we have described a new method for measurement of organic mercury and total mercury concentration in great cormorants (ph...
متن کامل